Diclib.com
Словарь ChatGPT

Поиск в словаре Индивидуальные решения

Введите слово или словосочетание на любом языке 👆

Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

как употребляется слово
частота употребления
используется оно чаще в устной или письменной речи
варианты перевода слова
примеры употребления (несколько фраз с переводом)
этимология

elimination of unknown - перевод на русский

TECHNIQUE TO SIMPLIFY FORMULAS

Elimination of quantifiers; Quantifier Elimination; Algorithms for quantifier elimination

Найдено результатов: 51500

elimination of unknown

математика

исключение неизвестного

unknown

WIKIMEDIA DISAMBIGUATION PAGE

Unknowns; Unknown (movie); The Unknown; The Unknown (film); The Unknown (disambiguation); Unknown (film); Unknown Album; Unknown (disambiguation); The Unknown (movie); The Unknown (album)

[ʌn'nəun]

общая лексика

искомое

незнакомый

неидентифицированный

неизведанный

неизвестная величина

неизвестное

неизвестный

прилагательное

общая лексика

неизвестный

неизведанный

юриспруденция

неустановленный

наречие

общая лексика

тайно, без ведома

существительное

[ʌn'nəun]

общая лексика

(the unknown) неизвестное

неизведанное

(the unknown) незнакомец

незнакомец

математика

неизвестное

неизвестная величина

неизвестное, неизвестная величина

unknown

WIKIMEDIA DISAMBIGUATION PAGE

Unknowns; Unknown (movie); The Unknown; The Unknown (film); The Unknown (disambiguation); Unknown (film); Unknown Album; Unknown (disambiguation); The Unknown (movie); The Unknown (album)

unknown 1. adj. неизвестный; address unknown - адрес неизвестен 2. noun 1) неизвестное 2) незнакомец; the Great Unknown - 'великий незнакомец' (прозвище В. Скотта до раскрытия его псевдонима) 3) math. неизвестное, неизвестная величина 3. adv. тайно, без ведома; he did it unknown to me - он сделал это тайно от меня или без моего ведома

Unknown Warrior

UNIDENTIFIED BRITISH SOLDIER KILLED IN THE FIRST WORLD WAR

Tomb of the Unknown Warrior; Unknown Warrior

[,ʌn,nəun'wɔrɪə]

общая лексика

могила Неизвестного солдата (останки солдата британских вооружённых сил, павшего во время 1-й мировой войны во Франции; находится в Вестминстерском аббатстве [Westminster Abbey])

полное выражение

Tomb of the Unknown Warrior

elimination

WIKIMEDIA DISAMBIGUATION PAGE

Eliminated; Elimination (disambiguation); Elimination (album)

[ilimi'neiʃ(ə)n]

общая лексика

устранение

удаление

элиминация

изъятие

ликвидация

уничтожение

математика

исключение

металлургия

выгорание (напр. углерода)

медицина

элиминирование

уничтожение (микробов)

строительное дело

устранение, удаление

нефтегазовая промышленность

подавление

Смотрите также

elimination of clone; biological elimination; cellular elimination; immune elimination; mitotic elimination; selective elimination; somatic elimination; complete elimination; elimination of quantifiers; elimination of unknown; elimination of variable; error elimination; forward elimination; strong elimination; trend elimination; weak elimination; zero elimination; elimination of staining from concrete; elimination of unsightly graffiti; excessive air elimination; elimination of ghost arrivals; elimination of pulsations; accident elimination; borehole bridge elimination; breakdown elimination; bug elimination; defect elimination; fault elimination; ghost elimination; hydrate elimination; leakage elimination; multiple elimination; redundancy elimination; salt elimination

существительное

общая лексика

удаление

исключение

выбрасывание

элиминирование

отсев

выбывание

уничтожение

ликвидация

выбывание (также [спорт.])

устранение

отобранный путем отсева

физиология

очищение

выделение

экскреция

удаление из организма

математика

исключение (неизвестного)

Смотрите также

intercompany elimination; eliminate

elimination

WIKIMEDIA DISAMBIGUATION PAGE

Eliminated; Elimination (disambiguation); Elimination (album)

elimination noun 1) исключение и пр. [см. eliminate ] - elimination of waste 2) attr. отобранный путем отсева - elimination trials

elimination

WIKIMEDIA DISAMBIGUATION PAGE

Eliminated; Elimination (disambiguation); Elimination (album)

сущ.

1) элиминация; исключение, удаление, уничтожение;

2) уничтожение особей в ходе естественного отбора.

elimination

WIKIMEDIA DISAMBIGUATION PAGE

Eliminated; Elimination (disambiguation); Elimination (album)

устранение, удаление

- elimination of staining from concrete

- elimination of unsightly graffiti

- excessive air elimination

elimination

WIKIMEDIA DISAMBIGUATION PAGE

Eliminated; Elimination (disambiguation); Elimination (album)

исключение, элиминирование
- cents elimination
- intercompany elimination

double negation

THEOREM

Double negative elimination; Negative elimination; Double negation elimination; Double negative introduction; Double negation introduction; Law of double negation; ¬¬; Logical double negation (logic); Double-negation elimination

математика

двойное отрицание

Определение

грип

ГРИП, ГРИПП, гриппа, ·муж. (·франц. grippe) (мед.). Инфекционная болезнь - катарральное воспаление дыхательных путей, сопровождаемое лихорадочным состоянием; то же, что инфлуэнца
.

Показать больше определений

Википедия

Quantifier elimination

Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. Informally, a quantified statement " $\exists x$ such that $\ldots$ " can be viewed as a question "When is there an $x$ such that $\ldots$ ?", and the statement without quantifiers can be viewed as the answer to that question.

One way of classifying formulas is by the amount of quantification. Formulas with less depth of quantifier alternation are thought of as being simpler, with the quantifier-free formulas as the simplest. A theory has quantifier elimination if for every formula $\alpha$ , there exists another formula $\alpha _{QF}$ without quantifiers that is equivalent to it (modulo this theory).

https://en.wikipedia.org/wiki/Quantifier elimination

Как переводится elimination of unknown на Русский язык